#include <onix/onix.h>
#include <onix/types.h>
#include <onix/io.h>
#include <onix/string.h>
#include <onix/console.h>

char message[] = "hello world!!!\n";
char buf[1024];

void kernel_init(){
    
    console_init();
    u32 count = 30;
    while (true){
        console_write(message,sizeof(message) - 1);
    }
    
    return;
}